$\forall$$D$:Dsys, $l$:IdLnk, $i$:Id, ${\it mss}$:\{$m$:M($i$).Msg$\mid$ source(mlnk($m$)) $=$ $i$ \} List.
\\[0ex]onlnk($l$;${\it mss}$) $\in$ \{$x$:\{$m$:M($i$).Msg$\mid$ source(mlnk($m$)) $=$ $i$ \}$\mid$ mlnk($x$) = $l$ \} List